54 Palamar-Pettai

Climate Change and Species Range Dynamics in Protected Areas

Smart Station for Data Reception of the Earth Remote Sensing

Proving Properties of Randomized Algorithms

Formal verification can do much in improving the security of algorithm implementations. While it is not an easy task even for deterministic algorithms, randomized algorithms add to it another degree of complexity. This paper investigates some ways of dealing with this complexity. We describe a method of formally modeling randomized algorithms without having to formalize the whole probability th...

Giant Hidrocystoma of the Orbit Presenting with Inversion and Ptosis of the Upper Eyelid

A case of giant hidrocystoma of the orbit in a 57-year-old female causing pain, epiphora and ptosis is reported. The cystic mass was totally excised as a whole. Histopathologic examination revealed eccrine hidrocystoma of the orbit. Hidrocystoma must be considered in the differential diagnosis of patients presenting with periocular masses causing pain and ptosis.

Securing the Future - An Information Flow Analysis of a Distributed OO Language

We present an information-flow type system for a distributed object-oriented language with active objects, asynchronous method calls and futures. The variables of the program are classified as high and low. We allow while cycles with high guards to be used but only if they are not followed (directly or through synchronization) by an assignment to a low variable. To ensure the security of synchr...